例句與造句

1. The interpretation has two components : a formula translation and a proof translation.
2. The proof translation shows how a proof of A has enough information to witness the interpretation of A, i . e . the proof of A can be converted into a closed term t and a proof of A _ D ( t; y ) in the system T.
3. It's difficult to find proof translation in a sentence. 用proof translation造句挺難的